منابع مشابه
Digital Library 2.0 for Educational Resources
We report on focus group feedback regarding the services provided by existing education-related Digital Libraries (DL). Participants provided insight into how they seek educational resources online, and what they perceive to be the shortcomings of existing educational DLs. Along with useful content, social interactions were viewed as important supplements for educational DLs. Such interactions ...
متن کاملEstimating the audience level for library resources
WorldCat, OCLC’s bibliographic database, identifies books and the libraries that hold them. The holdings provide detailed information about the type and number of libraries that have acquired the material. Using this information, it is possible to infer the type of audience for which the material is intended. A quantitative measure, the audience level, is derived from the types of libraries tha...
متن کاملTypes as Resources for Classical Natural Deduction
We define two resource aware typing systems for the λμ-calculus based on non-idempotent intersection and union types. The non-idempotent approach provides very simple combinatorial arguments –based on decreasing measures of type derivations– to characterize head and strongly normalizing terms. Moreover, typability provides upper bounds for the length of head-reduction sequences and maximal redu...
متن کاملWeb Resources for Metagenomics Studies
The development of next-generation sequencing (NGS) platforms spawned an enormous volume of data. This explosion in data has unearthed new scalability challenges for existing bioinformatics tools. The analysis of metagenomic sequences using bioinformatics pipelines is complicated by the substantial complexity of these data. In this article, we review several commonly-used online tools for metag...
متن کاملMNECLIB2 – A Classical Music Digital Library
Lately there has been a significant boost of interest in music digital libraries, which constitute an attractive area of research and development due to their inherent interesting issues and challenging technical problems, solutions to which will be highly appreciated by enthusiastic end-users. We present here a DL that we have developed to support users in their quest for classical music piece...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries
سال: 1959
ISSN: 2150-6701,0010-0870
DOI: 10.5860/crl_20_06_459